Validation Against Actual Behavior: Still a Challenge for Testing Tools

نویسندگان

  • Dave Arnold
  • Jean-Pierre Corriveau
  • Wei Shi
چکیده

A quality-driven approach to software development and testing demands that, ultimately, the requirements of stakeholders be validated against the actual behavior of an implementation under test (IUT). Current approaches and tools for testing fall into one of two categories: code-centric or model-centric. In this paper we review typical tools offered in each of these two categories, in order to establish the ability of such tools to support validation against actual behavior. We postulate that such support requires that test cases be both a) traceable back to the requirements of stakeholders and b) executed using an actual IUT in order to determine their outcome based on the actual behavior of an IUT. We observe that, in general, code-based testing tools fail to offer traceability between stakeholders' requirements and test cases. In contrast, in model-based testing, tests are generated from and traceable back to models, but they are typically disconnected from an actual IUT. Thus, we argue that validation against actual behavior remains a challenge for most existing code-centric and model-centric testing tools. We conclude by suggesting some essential functionality for a testing tool that could support the validation of the requirements of stakeholders against the actual behavior of an

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Reconciling Offshore Outsourcing with Model Based Testing

In the context of offshore outsourcing, in order to validate the requirements of a stakeholder (the contractor) against the actual behavior of an implementation under test (IUT) developed by the contracted, it is necessary to have a requirement specification language from which test cases can be generated and executed on an actual IUT. Code-based testing tools are limited to unit testing and do...

متن کامل

Testing the Tester: Specification and Validation Approaches

It’s a given that ATE test platforms are complex systems. Many HW and SW elements need to be integrated and work together for successful testing solutions. Too often we define a properly working platform within the context of the tools used to test and validate its behavior. Diagnostics, calibration, and special-purpose validation tools are used to prove a platform’s adherence to specifications...

متن کامل

Validation and Verification of the Remote Agent for Spacecraft Autonomy

The six-day Remote Agent Experiment (RAX) on the Deep Space 1 mission will be the first time that an artificially intelligent agent will control a NASA spacecraft. Successful completion of this experiment will open the way for AI-based autonomy technology on future missions. An important validation objective for RAX is implementation of a credible validation and verification strategy for RAX th...

متن کامل

Automated Acceptance Testing Tools Evaluation in Agile Software Development

Acceptance test is a crucial procedure in software development for the development of the right requirements that meets the needs and expectations of the stakeholders and users. Due to the problems faced when conducting this test manually, several automated acceptance tools have been developed. This paper presents a comparison analysis of selected automated acceptance tools from the existing li...

متن کامل

An automatic test case generator for evaluating implementation of access control policies

One of the main requirements for providing software security is the enforcement of access control policies which aim to protect resources of the system against unauthorized accesses. Any error in the implementation of such policies may lead to undesirable outcomes. For testing the implementation of access control policies, it is preferred to use automated methods which are faster and more relia...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2010